Theoremproving machine

[计] 定理证明机

🧩 词语组成解析

theoremproving
[计] 定理证明
machine [mə'ʃin]
n. 机器，机械;机械般的人;核心; vt. 用机器制造，用机器加工; vi. 被机器切削;
mach机器+ine表名词 → 机器

🗣️ 情景例句

He's busy preparing for class.
他忙着准备功课。
Is this the right bus for Pacific Boulevard?
这是去太平洋大道的车吗？
Well, Mrs Brown, maybe he has caught a bit of a cold.
嗯，布朗太太，也许他只是有点儿感冒。
更多情景英语 ›

🔤 更多 T 开头的单词

take one's cue from
tea tree
tetrabromo-m-cresolsulfon-phthalein
thermoforming
thread a needle
toolman
tractus systematis nervorum centraiis
Transmission Control Protocol
全部 T 开头单词 ›